| contributor | ISTE, Programmiersprachen und Übersetzerbau | ||||||||||||||
E-mail Adresse des Autors:
| creator |
Teuber, Arthur
| date |
2008-01-31
| description |
107 pages
|
In Bauhaus sind bereits eine Reihe von statischen Analysen zum
Zwecke des Software Reengineerings implementiert. Diese Analysen
müssen natürlich für alle möglichen Fälle korrekt sein. In der
Praxis hat sich jedoch gezeigt, dass viele Programme bzw.
Unterprogramme Eigenschaften besitzen, die man für genauere oder
schnellere Analysen ausnutzen kann.
Diese Diplomarbeit beschäftigt sich mit der Ausnutzung dieser
Eigenschaften und zeigt Verbesserungen für die Dominanz-, Zeiger-,
und ISSA-Analyse von Bauhaus. Die positiven Programmeigenschaften,
die dabei ausgenutzt werden, sind die Wohlstrukturiertheit des
Flussgraphen, die Einhaltung des deklarierten Typsystems und das
Vorhandensein von Referenzparametern.
| format |
application/pdf
| 994936 Bytes | |
| identifier | http://www.informatik.uni-stuttgart.de/cgi-bin/NCSTRL/NCSTRL_view.pl?id=DIP-2656&engl=1 |
| language | ger |
| publisher | Stuttgart, Germany, Universität Stuttgart |
| relation | Diploma Thesis No. 2656 |
| source | ftp://ftp.informatik.uni-stuttgart.de/pub/library/medoc.ustuttgart_fi/DIP-2656/DIP-2656.pdf |
| subject | Semantics of Programming Languages (CR F.3.2) |
| ISSA | |
| Dominanz | |
| Zeiger | |
| Andersen | |
| SSA | |
| Static Single Assignment | |
| Pointer | |
| dominance | |
| static analysis | |
| reducible | |
| type-cast | |
| reference parameter | |
| Referenzparameter | |
| Typsystem | |
| Aufrufkontext | |
| caller context | |
| title | Verbesserung statischer Analysen in praxisrelevanten Faellen |
| type | Text |
| Diploma Thesis |